From 1a2b7bbd0a2fc4044487b4da69f3110b6cdf5116 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 17 Mar 2014 22:46:22 -0400
Subject: [PATCH] GtkDialog: Add some padding to title label

---
 gtk/gtkdialog.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gtk/gtkdialog.c b/gtk/gtkdialog.c
index 19039ba27f..d32a6570a7 100644
--- a/gtk/gtkdialog.c
+++ b/gtk/gtkdialog.c
@@ -302,6 +302,8 @@ apply_use_header_bar (GtkDialog *dialog)
           gtk_widget_show (box);
           gtk_widget_set_size_request (box, -1, 16);
           label = gtk_label_new ("");
+          gtk_widget_set_margin_top (label, 6);
+          gtk_widget_set_margin_bottom (label, 6);
           gtk_style_context_add_class (gtk_widget_get_style_context (label), "title");
           gtk_box_set_center_widget (GTK_BOX (box), label);
           g_signal_connect_object (dialog, "notify::title", G_CALLBACK (update_title), label, 0);
-- 
2.30.2